A playground and wading pool for small children in Garvin Park